if he had done it - German English Dictionary